Plaidoyer pour un intervenant bien portant et capable d’en prendre

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

Bien-être de nash : enjeux et difficultés pour une société d'agents

The allocation of m resources between n agents is an AI problem with a great practical interest for automated trading. The general question is how to configure the behavior of bargaining agents to induce a socially optimal allocation. The literature contains many proposals for calculating a social welfare but the Nash welfare seems to be the one which has the most interesting properties for a f...

Un pour tous, tous pour un.

Oyez, oyez, chevaliers d'hier et d'aujourd'hui, grands et petits, apprentis ou aguerris, hardis et pleins de vie! Le moment est venu de rallier votre confrérie et de partager votre folie… euh, votre génie… et vos livres chéris… enfin vos aventures, quoi, avec nos jeunes lecteurs qui vous envient et qui, parfois, rêvent qu'ils vous copient! Les bibliothécaires de l'Espace Jeunes, chevaliers émér...

Un canevas pour l'adaptation et la substitution de services Web

TANAGRA : un logiciel gratuit pour l'enseignement et la recherche

Résumé. TANAGRA est un logiciel « open source » librement accessible sur le web, il tente de concilier deux types d’utilisation. D’une part, en proposant une interface suffisamment conviviale, il est accessible aux utilisateurs nonspécialistes qui veulent effectuer des études sur des données réelles. D’autre part, en définissant une architecture simplifiée à l’extrême, les efforts de développem...